../../../../../arch/powerpc/platforms/pseries/vphn.c